Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs
نویسندگان
چکیده
We study challenges that are imposed to mathematical domain reasoning in the context of natural language tutorial dialog on mathematical proofs. The focus is on proof step evaluation: (i) How can mathematical domain reasoning support the resolution of ambiguities and underspecified parts in proof steps uttered by a student? (ii) How can mathematical domain reasoning support the evaluation of a proof step with respect to the criteria soundness, granularity, and relevance?
منابع مشابه
Natural Language Dialog with a Tutor System for Mathematical Proofs
Natural language interaction between a student and a tutoring or an assistance system for mathematics is a new multi-disciplinary challenge that requires the interaction of (i) advanced natural language processing, (ii) flexible tutorial dialog strategies including hints, and (iii) mathematical domain reasoning. This paper provides an overview on the current research in the multi-disciplinary r...
متن کاملMI 3 : DIALOG : Tutorial Dialog with an Assistance System for Mathematics
Our goal in the DIALOG project was to develop a flexible dialog system for tutoring mathematical problem solving, in particular, theorem proving. We set out to investigate what requirements the flexible dialog paradigm poses on the components of a tutorial dialog system. Empirical findings in the area of intelligent tutoring show that flexible natural language dialog supports active learning (M...
متن کاملTutorial Dialogs on Mathematical Proofs
The representation of knowledge for a mathematical proof assistant is generally used exclusively for the purpose of proving theorems. Aiming at a broader scope, we examine the use of mathematical knowledge in a mathematical tutoring system with flexible natural language dialog. Based on an analysis of a corpus of dialogs we collected with a simulated tutoring system for teaching proofs in naive...
متن کاملEnhancement and Use of a Mathematical Ontology in a Tutorial Dialog System
Despite empirical evidence that natural language dialog capabilities are necessary for the success of tutorial sessions, only few state-of-the-art tutoring systems use natural-language style interaction. Since domain knowledge, tutoring and pedagogical knowledge, and dialog management are tightly intertwined, the modeling and integration of proper natural language dialog capabilities in a tutor...
متن کاملMENON: automating a Socratic teaching model for mathematical proofs
Adaptive teaching strategies that take the needs of different learners into account are a prerequisite for successful intelligent tutoring systems. They should ideally incorporate elements of all facets of teaching that together are responsible for learning. One such facet is natural language tutorial dialogue, which is crucial to the application of teaching strategies by human teachers. Althou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005